PN3-Editor: Compositional Petri Net Editor for Protocol Specification
نویسندگان
چکیده
The problem of Petri nets application to realworld parallel and distributed systems of industrial size causes developing of the compositionality within the theory of Petri nets. This paper presents a tools which is an attempt in resolving this problem. We suggest solution based on an algebraic approach of Petri net representation. Two levels of compositionality are introduced. The first one, algebraic level offers to a designer a set of net operations (sequential, alternative and parallel composition, iteration and disruption), which allow to build complex Petri nets from simpler ones. The second architectural level allows user to manipulate with Petri net entities, where the entity is defined to be a Petri net equipped with access points. The suggested technique is implemented in three-level Petri net editor comprising basic, algebraic and architectural editors.
منابع مشابه
PLC Programming with Signal Interpreted Petri Nets
In this paper a graphical editor to design Programmable Logic Controller (PLC) programs using Signal Interpreted Petri Nets (SIPN) is presented. SIPN are an extension of condition event Petri nets that allow the handling of input and output signals. The presented tool, SIPN Editor, has been developed using DiaGen which is an environment for rapidly developing diagram editors from a formal speci...
متن کاملPetriPad A Collaborative Petri Net Editor
Collaboration is one of the key aspects of software engineering and commonly includes working in spatially separated teams. Many tools exist to support such a workflow and are used extensively, especially for real-time communication, e.g. instant messaging systems and voice chats. In contrast, programming environments and editors used in general mostly lack synchronous real-time collaboration f...
متن کاملNew Petri Net Programming Features in PEP ?
We present two new facilities of the high level Petri net editor of the PEP tool. The latest version extends the class of supported Petri nets by a time extension of M-nets. Additionally it features a new operator for asynchronous communication complementing the synchronization operator. We present an example of an ARQ protocol with enhanced acknowledgment handling. form.
متن کاملCombining Finite Automata, Parallel Programs and SDL Using Petri Nets
This paper introduces a method to combine nite automata, parallel programs and SDL (Speciication and Description Language) speciications. We base our approach on M-nets exploiting the rich set of composition operators available in this algebra of high-level Petri nets. In order to be able to combine diierent modelling techniques, we rely on compatible interfaces. Therefore, { we extend an exist...
متن کاملImplementing Petri Net Transformations using Graph Transformation Tools
Petri net transformations have been defined formally in the abstract framework of adhesive HLR categories, which allows rule-based rewriting of graphlike structures, similar to graph transformation. In this paper we discuss differences between Petri net rewriting and graph rewriting which makes it necessary to add checks and conditions when implementing Petri net transformations using an existi...
متن کامل